float rndf();
